Purely functional data structures
نویسندگان
چکیده
منابع مشابه
Purely functional data structures
When a C programmer needs an efficient data structure for a particular problem, he or she can often simply look one up in any of a number of good textbooks or handbooks. Unfortunately, programmers in functional languages such as Standard ML or Haskell do not have this luxury. Although some data structures designed for imperative languages such as C can be quite easily adapted to a functional se...
متن کاملBenchmarking purely functional data structures
When someone designs a new data structure, they want to know how well it performs. Previously, the only way to do this involves nding, coding and testing some applications to act as benchmarks. This can be tedious and time-consuming. Worse, how a benchmark uses a data structure may considerably a ect the e ciency of the data structure. Thus, the choice of benchmarks may bias the results. For th...
متن کاملInductive benchmarking for purely functional data structures
Every designer of a new data structure wants to know how well it performs in comparison with others. But finding, coding and testing applications as benchmarks can be tedious and time-consuming. Besides, how a benchmark uses a data structure may considerably affect its apparent efficiency, so the choice of applications may bias the results. We address these problems by developing a tool for ind...
متن کاملNumerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers using positional number systems. A new implementation of random-access list based on redundant segmented binary numbers is described. It uses 4 digits and an invariant which guarantees constant worst-case bounds for con...
متن کاملUnder Consideration for Publication in J. Functional Programming Book Review Purely Functional Data Structures
This is a well-written book about purely functional data structures. Actually, it is more than that: the main emphasis is on general techniques for designing data structures, which sets it apart from most other textbooks on data structures. The book provides a wealth of ideas and examples in a compact 220 pages. Every functional programmer who nds herself in need of an eecient data structure sh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1999
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(99)00002-7